由
,
将第一式代入瑞利定理, 即得第二式.
第三式由瑞利定理即得 (严谨性?). 证毕.